1. Practical distributed processing

by Paige, Richard F | Brooke, Phillip J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 004.36 BRO] (1).
2. Designing reliable distributed systems : a formal methods approach based on executable modeling in maude

by Olveczky, Peter Csaba.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2017Availability: Items available for loan: [Call number: 004.36 OLV] (1).

Powered by Koha